Accelerating Wireless Intelligent Network Standards through Formal Techniques
نویسندگان
چکیده
Wireless Standards such as ANSI-41 and WIN are dynamic in nature, continuously evolving to meet subscriber requirements with ever shorter intervals for standards development. The current timelines at which a new version of the specification is to be completed to the needed level of precision, quality and completeness cannot be accommodated using existing specification techniques. A key assumption is that future standards work must apply techniques that can be automated. The use of formal documentation techniques using commercial tools will shorten the standards development cycle, introduce a formal test methodology, and assist in rapid validation and verification, harmonization, and evolution of ANSI-41/WIN standards. This paper begins with an introduction of certain relevant documentation techniques. The techniques utilized for the creation of ANSI-41 and the Wireless Intelligent Network (WIN) standard are examined and analyzed. This is used to identify opportunities to utilize documentation techniques to enhance ANS141/WIN standards development from an efficacy and timeliness perspective. The requirement to develop global capabilities and services to support third generation wireless networks provides further challenges, necessitating a fundamental change in the specification techniques used in the future.
منابع مشابه
Routing Hole Handling Techniques for Wireless Sensor Networks: A Review
A Wireless Sensor Network consists of several tiny devices which have the capability to sense and compute the environmental phenomenon. These sensor nodes are deployed in remote areas without any physical protections. A Wireless Sensor Network can have various types of anomalies due to some random deployment of nodes, obstruction and physical destructions. These anomalies can diminish the sensi...
متن کاملA New Method based on Intelligent Water Drops for Multicast Routing in Wireless Mesh Networks
In recent years a new type of wireless networks named wireless mesh networks has drawn the attention of researchers. In order to increase the capacity of mesh network, nodes are equipped with multiple radios tuned on multiple channels emerging multi radio multi channel wireless mesh networks. Therefore, the main challenge of these networks is how to properly assign the channels to the radios. O...
متن کاملIntelligent and Online Evaluation of Diabetes using Wireless Sensor Networks and Support Vector Machines Algorithm
Objective: International Diabetes Organization estimates that there are 285 million people worldwide who suffer from diabetes, and this figure is expected to increase to 450 million in next 20 years. According to statistics issued by the World Health Organization, diabetes is considered among ten leading causes of death in world and its prevalence in the population is growing.This paper deals w...
متن کاملThe Wireless Sensor Networks for Factory Automation
Sensors are used in many devices and systems to provide information on the parameters being measured or to identify the states of control. In recent years, the concept of computer networking has gradually migrated into the sensor community, and the trend in industry is moving toward distributed control with intelligent sensing architecture. The rapid development and emergence of smart sensor an...
متن کاملPrediction of Driver’s Accelerating Behavior in the Stop and Go Maneuvers Using Genetic Algorithm-Artificial Neural Network Hybrid Intelligence
Research on vehicle longitudinal control with a stop and go system is presently one of the most important topics in the field of intelligent transportation systems. The purpose of stop and go systems is to assist drivers for repeatedly accelerate and stop their vehicles in traffic jams. This system can improve the driving comfort, safety and reduce the danger of collisions and fuel consumption....
متن کامل